Strand algebras for DNA computing
نویسندگان
چکیده
منابع مشابه
Implementing Strand Space Algebras
The Cryptographic Protocol Shapes Analyzer (cpsa) is a program that attempts to enumerate all essentially different executions possible for a cryptographic protocol. Order-sorted algebras are used in the design and implementation of message algebras in the program. This paper describes the additional properties of the algebras that are required for use in our analysis of cryptographic protocols.
متن کاملError correction in DNA computing: Misclassification and strand loss
Vie present a method of transforming an extract-based DNA computation that is error-prone into one that is relatively error-free. These improvements in error rates are achieved without the supposition of any improvements in the reliability of t he underlying laboratory techniques. Vle assume that only two types of errors are possible: a DNA strand may be incorrectly processed or it may be lost ...
متن کاملError Correction in DNA Computing: Misclassi cation and Strand Loss
We present a method of transforming an extract-based DNA computation that is error-prone into one that is relatively error-free. These improvements in error rates are achieved without the supposition of any improvements in the reliability of the underlying laboratory techniques. We assume that only two types of errors are possible: a DNA strand may be incorrectly processed or it may be lost ent...
متن کاملDNA computing, insertion of words and left-symmetric algebras
Theoretical computer scientists working on DNA computing have developed models of computation based on the processes of molecular genetics. Much of this work is devoted to the study of biologically motivated operations (“biooperations”) on formal languages. A detailed analysis of families of languages defined by basic bio-operations appears in the work of Daley, Kari and McQuillan [4]. For gene...
متن کاملRecA protein-facilitated DNA strand breaks. A mechanism for bypassing DNA structural barriers during strand exchange.
RecA protein promotes an unexpectedly efficient DNA strand exchange between circular single-stranded DNA and duplex DNAs containing short (50-400-base pair) heterologous sequences at the 5' (initiating) end. The major mechanism by which this topological barrier is bypassed involves DNA strand breakage. Breakage is both strand and position specific, occurring almost exclusively in the displaced ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Natural Computing
سال: 2010
ISSN: 1567-7818,1572-9796
DOI: 10.1007/s11047-010-9236-7